perm filename AMTX10.360[360,GF] blob sn#786459 filedate 1985-02-19 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  Ecα⊂α@5_αT`U_αT`U⊂βT@0λ↓T@0λ↓T@0λ↓T @λα∀ @λα∀ @λα∀ 0_↓T@_α∀@_α∀@_α∀@_α∪`@(α∪`@(α∪`@(α∪`@(α∪aTpπSAtpπS@@8α∪ @Hα∪ @Hα∪ @Hα∩`p8βRA⊂(∧RA⊂(∧R`p8βQ(D⊂¬capCi!λ%∧I1⊂&A↓(&A↓⊂(&A↓  &A↓  &A↓  &A↓⊂(&A↓⊂(&Ap0&D	Px&D	Qλ&A↓0&A↓⊂(&A↓ (&A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓  &A↓⊂(%Di!_%∧I1"Qλ1(GC`@β↓%λ∧@ Dxλ∪B∀hβ↓↓∧hαA`d`αBd`αα@TXαB@TXαβDXαβDPαC $Pα∩@DPα∩@DPα∩@DPα∩@Ph↓∩`@`α∩`@`α∩`PPαS@PαSP@αS P8αS ` β∪Adxε∀!∃⊂βQ(D ¬capCI!%∧)1λ&A`0&A↓(&A↓(&A↓⊂(&A↓  &A↓  &A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓ (&A↓  &A↓⊂(&A↓⊂(&A↓(&A↓(&A`0%D)!λ%∧	0p"QλQ8πC`λ
∩BdP∩bThαα`Dhαα`Dhαα`Dhαα`Dhαβ$hα∪ @0↓∪ @(α∪ @(α∪!ThεS!ThεS @(α∪ @(α∪ @0↓∪ Dhα∪ @h↓∪ @`α∪ @`α∪ @`α∪ @`α∩bdPRBtX
Q(D0
EcapDi!(%¬)1 &A↓  &A↓  &A↓  &A↓  &A↓0⊂&A	P α@IP α↓	P α↓	P`&C	P`&C	P α↓	P α↓	P α@IP &A	P &A	P &A	P %B) X%αi0H"Qλq0πC`@αA%∧@ DxπSB∧hβa∧hα↓`d`αBTXαB TXαα`DXαα`DPαC$Pα∩@DPα∩@DPα∩@DPαα!∧Pαα↓$Pαα↓$PαB↓∧Xαα`DXαα`DXαB@D`αBThααThβ↓tpλ∪auπ∀@`_↓⊃(D@FβapBP@%α@0P%α@0P%BP@&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &D)Qλ&D)Qλ&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %BP@%α@0P%α@0P%BP@"Q	⊃⊂πC`λλ∩B$P	∩b¬λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∩b∧P	∩B$Xλ⊃(DP
¬cap∧BJ `)β
0P+A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A	0_∧A	 (∧↓	 (∧↓	 0αAI0x&β)PX'AhT %Ec↓p∂ p0βRA⊂ ∧RA⊂ ∧R`p0βS 0@↓S 0@↓S 08↓S 00↓S 0(↓S 0(↓S 0 ↓S 0_↓S 0_↓S 0⊂α∪ 0λβ∪ 0λβ∪ `⊂↓S P_↓S @(↓S @(↓S 08↓S 08↓S 0@↓S 0@↓S 0H↓S 0H↓S 0P↓R`p@β∩A⊂0∧∩A⊂0∧∩`p@β⊃(D`
EcapB) X%αi0H&A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A↓0⊂&A↓  &A↓  &A↓  &A↓  %E	!(%¬)1_"Q	QHGC`λβα`dPβB`tPβB`tXβα`d`↓@  H↓ 4`↓@  H↓ 4`↓@  H↓ 4`↓@ 0@↓ 4`↓@@ 8↓@ 4`↓@@ 8↓@ 4`↓@@00↓@4`↓@@00↓@4`↓@@0(↓@@4`↓@`0 ↓@@4`↓@`0 ↓@@4`↓@`0 ↓`4`↓@`0 ↓`4`↓A0⊂↓@`4`↓A0⊂↓@`4`↓A0⊂↓↓4`↓A 0λ↓↓4`↓A 0λ↓↓4`↓A ` ↓S0(β↓4`↓A@@(↓S00α↓ 4`↓C`4XαC TPβB`tPβB`tXαC T("∪BQ8∂π@⊂(βAi 8αB) 8αB)08αAiP(β@iP(β@iP_@@`_&@`⊂⊂βiP_@@`_&@` ⊂α@iP_↓@P_&@` ⊂α@iP_↓@@@_&@`0⊂αiP_↓@@@_&@`0_↓@iP_α@0_&@`@⊂↓@iP_α@0_&@`P⊂↓iP_α@@ _&@`P⊂↓iP_β@⊂_&@``⊂@iP_β@⊂_&@`p(&@`p(%A`P(%α P %α P %A`p_"Q	q_πC`(∧S!T`πRb∀XαA`TXαα DPαB TPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαB TXαα DXαA`TXλS↓thεSa∀("∀αa8∂π@⊂x%∧I!_%DiP ∧↓IP ¬↓	P ¬↓)P ¬A	P ¬A	P ¬A	P ¬A	P ¬A	P ¬↓)P ¬↓	P ∧↓IQλ&D	Px&C)P &A	P &A	P &A	P &A	0@%αI P%BλT (Dbb(∂↓!∀hεS↓tXλR`P8αR`@Hα∩@PHαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@(↓↓DPα↓@_α∩@@ α`DPα↓P⊂α∩@P α TXα↓↓∀XαA↓∧XλS↓thεSaE8α∃`U@α⊗UHα⊗ EP↓⊃(E⊂ε#apC)!%∧)1λ&A`0&A↓ &A↓(&A↓⊂ &A↓⊂ &A↓⊂ &A↓(&A↓ &A`0&CiPp&C)Ph&AP(&A` &A` &A`(&Ap &Ap &Ap ↓@IP βA  &Ap ↓↓	P βA  %BPP%α@P@%α@`0%B↓ "Q
1(GC`8βA$pλS"$`	R`p(∧∩`@XαR@P`α∩@@hα∩@@hα∩@@hα∩@Ph↓∩`T`βS!$pε∪aE⊂¬∃@uHαR` hαR@@hα∩@@hα∩@@hα∩@@hα∩@@`αR@`HαRA(βRB4P	∩@@λ¬R`  βQ(E εβapE	!0%¬I!0%↓P αA	  αAP %↓P αA	  αAP %@@` βJ0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
P'C	p`(αHT *F#⊃p∂!8∧∩A (¬∩A (¬∩a8∧∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ PHαS@@Hα∪@P8αS`P(αT↓Uλ¬TA∃_βQ(E0FβapA`p8%α PH%α PH%A`p8&A↓⊂ &A↓⊂ &A↓⊂ '↓p '↓p '↓p '↓p 'A`_'AP 'AP 'AP 'A @ (↓@_(↓@_(↓@_(↓   (A _(A _(A _(A _)↓⊂⊂)↓⊂⊂)↓j 8)A*0()A(T +Fβ↓p∂ ``α∩APβ∩APβ∩```α∪ 0(α↓4h↓A @ ↓S 0(α↓4h↓A @ ↓S 0(α↓4h↓AP ↓S 0 β`4h↓A λ↓@`4p↓@` ⊂↓@4p↓@` ⊂↓@4p↓@` ⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4x↓@0⊂↓@$x↓@0⊂↓@$x↓@ _↓@$x↓@ _↓@$x↓@ _↓@$x↓@ _↓@$x↓@  _β∪`` αT@(α∀@(α∀@(α∀@(α⊃(E@Fβap↓↓`P8%B 0H%B 0H&↓`P8'AP 'AP (↓0 (↓0 (A⊂ (A⊂ )`⊂_)↓j0()A*0()A*0()↓j 8(A⊂ (A⊂ (↓0 (↓0 'AP 'AP '↓p '↓p %A`p8%α PH%α PH%A`p8"Q⊃8πC`λβA`tP∧A!∀P∧A!∀XβA`tpα↓`Dpα↓`DpαA Txα↓ Dxα↓ Eα`Eα`Eλ↓@`5λα Eλα E⊂↓@ 5⊂βT`U_αT`U α∃E α∃E α∃E α∃E⊂βT!∃λ∧T@t("⊗BQ8∂π@!⊂%E	1 %Di0 ¬↓)0 ∧A)0 ∧A	0 ∧↓)@⊂∧A
`(*A*P *↓*0()A
 ()↓
⊂((↓* 'A)`(∧@I` ∧A	P(∧A	P ¬↓	@(¬↓	0(¬A	1 %¬)!(%DhT 0EC↓(
A↓∀`ε∩adXπR`P0αS0@αVE_∧SaThπSα∧X∧ADXαBDPαB DPαα@DPαα@DPαB DXαA tX
∪αDh	S`p(α⊃(F⊂εβapAI @%α	08'↓	` '↓	` '↓	` ↓↓i` BIa'∧)`8αAI`0∧↓)`(¬↓	` ¬A)` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	`(¬↓)`(¬↓	`(¬↓	`0∧↓)`8αAIaλ'∧	` BIp⊂↓AhT 1DbQ(
Bu¬SAdhπSp αSP8↓R`TXα∩@TPα∩@DPα∩@DPαR`DXαB@$`αBD`βA ThπSAU¬∀@t("→β↓H∂πA@8*B*PH+α  -↓  -↓  (A`  'Cia&D)@0αAi0(∧A)0 ¬↓)0 ¬A	 (¬A	  ε↓	  ε↓	  ε↓	  ε↓	  ¬A) (¬↓)0 ∧AI0(∧↓I@0αα	Q '¬	pPB
⊂0α↓HT 2Eαa(
A`tx¬∪AThπS`(αR`P@αR`@Pα∩@PPαR@@`α∩BDP
∩BDP	R@DPαR`@`↓∩`PPα∪`0β∪"∧pπ∪aEλ∧⊃(F0
¬#ap¬AJ@H)Bj `(A 0((AP_(A
⊂ (A	1λ%∧i!_%D*⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	@p%D	1&βHT 3Ecα
A``_αTα∧x	∪B4hαAPλαSP0α@ 4`ααD`ααD`ααD`ααD`αA@ThαAThεS!D`ε∪@λβ∪D`α∪↓thλ∪α4X
R`PPβ∩@PhαR@@xα∩@@xα∩@@xα∩@PhαR`p8βSα4hλSAuλ∧Q(F@F#apAI @%α	08'↓	` '↓	` '↓	` ↓AI` B)`x'∧	`@α↓)`0β↓)`(∧↓	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	0HαB) X↓Bi X↓Bi0HαB(T 4Dbap∂↓`Eβ∀eβ∀eλα⊃`$`∧Ra4X¬S↓%⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DXλRB4P	Rb∀("~AQλ∀GA (AJ⊂0(AJ⊂0)↓λp⊂'α	PP&BI`H)A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A	0_α↓) (↓A	 `%αi0H&AHT 5Fβ⊃p∂tP∧∩A∧PβS@4p↓S@4p↓S@4p↓AA∀p↓A!4p↓A!4p↓AA∀p↓A`4p↓A@4p↓A 4p↓A4p↓@`4p↓@@Dp↓@ dpβ@4pαA4pα↓ 4p↓A`4p↓B4p↓B 4p↓B@4X∧A@tP¬A↓∀P¬A↓∀X∧A@t("≠αA8∂π@⊂P%β	 `%Bj  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  %DI! %¬	1⊂"Q
QHE"Pβ P_αRAPλβRBdP∪ Pλβ@ Thα`P_α∪ @ α↓4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓RAλβ@!∧P∧ pλ∧∩Aλβ@!∧P∧ pλ∧⊃(FpF"Q(A@@0%α⊂H%∧i1_'α@('↓@`('↓! '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ %B PH%α`0X%α`0X%B PH"Q
q(E"P8βSa4pεS!t`β↓ dXαB TXαα`DPαB`TPαβ DPαβ DPαβ DPαβ DPαβ DPαβ DPαB`TXαα`DXαB T`β↓ dhπSATx¬T t("≤β↓@⊂¬ ⊂0↓Ai @BI! %E	`8αAI`0∧↓)`(¬↓	` ¬A)` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	`(¬↓)`(¬↓	`(¬↓	`0∧↓)`8αAIaλ'∧	` BI` ↓↓i` '↓	` '↓	` '↓	` %BI `%β	0P"Q∞⊃@HαP@β`%π∪B∧hλSp βSP8β∩`PHαR`@PαR@PXα∩@@`α∩@@`α∩@@`α∩@@XαR@@XαR@PPαR`@Hβ∩`P@β∪` ∧∪"∀pλ∪a λα∀ p⊂α⊗@EPα⊗@EPα⊗@EPα⊗@E8¬∃AE0ε∃a$("≤Ba@
E ⊂8αAi H↓αI HC	1('B 0('A``_'AIp('A)p 'A	p 'A	p 'A	p 'A	p %CI!%∧	0p"Q∞1_¬"P0β@ $hπ∪↓tXλ∩@p(αR@@Hα∩@@Hα∩@P@α∩``8↓∩aD`εSAUε∩` HβR@@PαR@@Xα∩@@Xα∩@`0βRB$PλRB∧X↓A∧("≥αQ0∞πp⊂(↓
 (↓
 (↓
 %DI! %¬	1⊂(↓
 (↓
 (↓
 (↓
 ∧J βA
 βA
 βA
 βA
 βA
(αA*⊂h(C* X*↓hT :F#⊃(
@ `8β∩A(∧∩A(∧∩`p0βS@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@@αS@P(βSb4x
∀α5⊂β@`d("≥Bq@
E ⊂@αB	 P↓BI P↓BI0@αB	`_∧@ip_β@ip_β@ip_β@ip βj_α@j_α@j αj⊂_αJ⊂ ↓j⊂ ↓j _↓J  @J  @J0()A*0()A(T ;Ec↓(
@ P`α∩@pPβ∩@p ↓@`dXαA@ α∪0(α↓4`↓A @ ↓S0 β`4`↓A`_↓S 0_↓ 0⊂↓S 0_↓@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S@ ⊂↓@@ ⊂↓∪@ ⊂↓` ⊂↓∪@ ⊂↓` ⊂↓∪@`_β∪@`_β∪`@(α∪`@(α∪`@(α⊃(G@F"Q(Bp@%α@PP%α@PP%Bp@(`p_(@`P_)@P⊂)`0_)@`⊂_*↓*P_*@j@()@`⊂_)`0_)@P⊂(@`P_(`p_%Bp@%α@PP%α@PP%Bp@"Q∂⊃8λαPλ∧↓!∧P¬a$P¬a$X∧↓!∧pαα4x↓A`4x↓A`4xα↓@5↓A@5↓A 5λ↓A5λ↓A5λ↓A%⊂↓@@5⊂↓@@5⊂↓@@%_↓@ %_↓@ %_αUE α∃E ↓U5_↓T`4`↓A4Xα@@4Xα@ DX∧Ra∧XβST("≡BQ0
E 1λ&∧iA_&∧I@ ∧↓)@ βA)P⊂βA*P(*↓*0()↓*  (A*('A!⊂'↓! &A!⊂ &↓!  %E	!(%¬)1_"Qε↓8πC`@βT!∃¬SaTpαA ThαA`T`αB T`αα`DXαB`TXαβ DXαβ DPαC TPαβ`DPαβ`DPαβ`DPαβ`DPαβ`DPαβ`DPαβ`DPαC TXαβ DXαβ DXαB`T`αα`D`αB ThαA`TpαA TxεT↓5λ∧T@t(""↓(∂π@p⊂(↓
 'A)`0&Ai0H%αI P%@`  (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓	0p%∧	!%CHT →¬"qp∂↓A∧pε∪!t`λR``0βR`@PαR@PXαR@P`α∩@P`α∩@P`α∩`0hα⊗@UPα⊗@EHαVU8αU`E0αUe_β∀@eλβ↓ %αA@Dpβ↓`DhβαD`βα DX
∩BTP
Rb4("bQ8∂π@`@'β	Pp&∧	00β↓I0(∧A)0(¬↓	0(¬↓	@_¬A⊂(,↓*P@(β
X(αj`+↓k0-↓+ (-A	0_εA	 (ε↓	 (¬A) (¬A	 (¬↓)00β↓IA&CI``(αλT ~¬Bqp∂β E0αU@U(↓ 5 ↓@ 5 ↓@5_↓@@5⊂↓@`5⊂↓@`5λ↓A5λ↓↓ 5↓A 4x↓A@4x↓↓`4p↓A`4h↓B4h↓B4`↓B 4X↓B@4X↓B@4P
RBdP∩BU@↓V5@↓U↓5_εTaU ¬Q(C(
Ecap↓∧	Aλ&∧)A&↓	@ &↓	@ &↓	@ &↓	@ ↓↓i@p&βiA&↓`P(&↓!(&↓↓  &a0(-A0 %@aP %↓!@ %↓!0(%↓!0 %↓! (%A@`0&∧	Pp'β
@"Qεa8πC`PβTA%εSatpβA Thβ↓`Thαα T`αB@4XαR`DXαa∧Pα@!DPα!dP
∩A⊂0β∩@pPαR@``α∩@``αR@Ppα∩@Ppα∩@Ppα∩`@pα∩`@pα∩`P`αS@`α∪PPαS `0β∪B∧xπ∀↓E⊂∧⊃(C8
Ecqx@I! %¬)!(%¬	  ¬↓)  ¬↓	  ∧A)  ∧A	0⊂∧A*P(*A
@(*↓
@ )A*0 )↓*  )↓
⊂((A
⊂ (A
((↓
 (↓
 (↓
 (@HT ≤¬"qp∂↓`tx¬SAThπS`(β∩`PHαR`@Xα∩`@Xα∩`@Xα∩`PHαR``8β∪p_βS!tpεSAThπSp_βR``8β∩@`Hβ∩@PXαR@@hα∩@@hα∩@@hα∩@@hα∩@PXαR`PHαS`(β∪!tpεSa5λβQ(CHFβap∧↓JP'βIQ&↓`@8&↓!0%A! (%A↓@(%↓!P %↓↓` %↓↓`(%↓↓p %↓↓p %↓!P(%A↓P(%A!00&↓!⊂8&↓`PH&E	a_(α`⊂ )↓`0 -A+0 &@a (&↓!(&↓ `0&∧	Pp'β
@"Q∧A_	D H↓∀@E⊂α∀@EβSA4hεS↓tXβ!$Xα`@⊂α∩@P_α@TPα↓@⊂αR@@ α@TPα↓@⊂αR@P_α`4Xα@@D`¬∪!$p¬Sa5⊂∧TA%⊂α@DX↓A@⊂αR@P_α`DPα@`@_α∩@P_α`DPα↓@_α∩@P_α@TXα@@@⊂α∩b∀`πS!Tx¬∀ e⊂α∀@E⊂α∀`$("	C↓H∂π@p (↓J0'B	p@'@` _'@` _'@` _'@` _'@`⊂ ↓α)p@↓α)p8↓B)p8↓B)p0βi`0β↓	P8β↓	@@αA	0Pα↓	0(A0(%↓ 0_↓A	 (↓A⊂(%↓@ A	  αB	  αA`0_%↓ P(αi (α↓@@_%↓@⊂PA	1(%B`⊂H&α 08'↓ `("Qπq_πC`(∧S!T`πRb∀Pβ↓`dPαB@DPαB@DPαB TX↓B U(βUu_β∀`U⊂αT eλαT UλαT UλαT@48↓T Eβ∀eβ∀eλα⊃(Bλβ∧βapA	 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%A)0(%A)0(%A)0(%A)0(&hp_%A	 0%↓I 0%↓I0 "Q∧1(GC`8↓↓@%α↓Eα↓Eα↓Eα`Uα`Eα`Dxα@`DX	RBTP
Rb4xα↓Dxα↓Dxα`Txα`Dpα@`Dpα↓DX	RBTP
Rb4pα↓Dpα`Tpα`Dpα`Dhα@`Dhα↓Dhα↓Dhα↓Dp↓↓@$("	"Q8∪λ@ (∧I08β↓	08β↓	 Hα↓)  A@ %↓⊂ α↓	 _↓@`0(%`0_↓A	 _↓@`0 %↓⊂ ↓↓)  A  %α   %A`0 %A` (&↓ 0 *↓
0()A
0 )↓*  )↓
⊂((A
⊂ (↓ 0((↓08(↓08(↓ H'A   A	p ↓A⊂ 'A0_↓@i`(↓@`0_'↓@ A	` α↓⊂ &A @H&A`8&A`8'A("Q∧p8λC#`λα∩@dPβ∩@tPβR`dhα∪ D`αSDXαR@TPα∩`$("
↓Q(∪λA ⊂)↓*⊂0(↓Ip0'A	`(&A)P &↓)@ %A)0 %A	 (%↓	  %↓	  %↓	  %↓	  %↓	 (%A	0 %A)@ &↓)P &A)`('A	p0(↓J⊂0)↓*@⊂"Q¬⊂hλID λ↓∩@TPβ∩`d`β∪@DpαS`Uα∀Uλα∀ U⊂α∀@E⊂αT`E_α∀`E_α∀`E_α∀`E_α∀`E⊂αT@E⊂α∀ Uλα∀Uα∪`TpαS@D`β∩`dPβ∩@TX↓⊃(BPλE"APβ@j⊂_(@j⊂_(@i _α`@_%`Pλα@i (↓@ 0(&↓ λ↓↓	`_@ ⊂_(↓*('`⊂λ@i@ ↓   %↓ 0λ↓A) _α@ P_%`@_αj⊂_(@j⊂_(@hT ∃Dba⊂α %⊂α∀@E⊂α∀@E⊂α∀@DXλRB4P	Rb∃⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀`$("qλ¬↓ ⊂ %↓I 8%↓i 8%AI@(%A) 0%↓)0⊂"Q¬`0λ↓ Pλα∩@dPβ∩@dPβ∩`D("b10∪λB⊂,A⊂ ,↓+ +A*p +↓*` +↓
P(*A
@(*↓
0()A
0 )↓*  (A*⊂ (↓* (↓	p('A	`('↓	P(&A	P &↓)@ %A)0 %↓)  %↓	0⊂"Qπ 0λ¬"Pλα∩@dPβ∩@dPβ∩`D8∧R`DPβ∩@dPβ∩@dXα⊃(CXβ∧β!(A	 0%↓I 0%↓I0 #B)0 %↓I 0%↓I 0%A)@ %A) (%↓	0⊂"QπQ(BbPλ	RBTP
Rb48↓Rb4P
RBTX	Q(D
Ecap∧Aj⊂P'C)`x&B00&A 0H&↓ 0X%A 0`%A0h%A0(↓↓I  α↓@(%↓0 β↓	  ↓A` %`@_∧i _αa_%`@_∧i _αa_%`@_∧i  ↓A` %↓0 β↓	  α↓@ %A0(↓↓)0 ↓C	0(↓BI@(↓B	P(↓A@⊂_&B@0'∧)q(C*0@"Q0`	D λ¬∩ADPε∩A4Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩A4Pε∩ADX¬⊃(Ehεβdb⊂BI `%β	0X)↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	0X%β	 `%BHT 0↓bh⊂A$hα∪TXαR`DPαR@DPα∩@dPβR@tXβ∩`d`α⊃(BhλE 1λCi!λ%∧)0x"Q↓A_∧C@H↓∀@E⊂α∀@E⊂α∀@E⊂α∩b∀P	RB4XλT@E⊂α∀@E⊂α∩b∀P	RB4XλQ(@h	EB!@β↓i`X&C)@x%A  _↓↓)0 ↓@`0 %↓@_α↓	  α`@ %∧i!_%∧i  α`@ %↓@_α↓	0 ↓@`0 %A  _↓↓)@x&C)`X(↓hT ∧ba⊂↓@tp¬S!T`β`dXβ↓ dXβ@`tP∧@!∀Pα!⊂λα∩@0_β@`4P↓AP ↓R@0_β@`4Pα!⊂λα∩A⊂λ∧R`p_βR``(β∪`_β∪!Tp¬Tt("∧bQ8
ε@⊂⊂π@I  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	  εA	 (¬A)0 ¬A	0(∧A)@0αAIPx'β)pX(AhT 	¬"qP
↓`tx¬SAThπS`(β∩`PHαR`@Xα∩@PXαR@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩` x↓⊃(@ 
Ec!P∧@j ()↓* ((Aj⊂8(AjH(↓⊂ (↓⊂ 'A ⊂('A0 '↓ 0('↓P '↓P &A P(&Ap &Ap &↓ p(&↓↓⊂ %A!⊂(%A↓0 %A↓0 %↓!0(%↓↓P %↓↓P %@Ap⊂"Qβq(FC λ↓β`$Pαβ DPαβ DPαB`TXαα`DXαα`DXαB T`αα D`αA`Thα↓`Dhα↓`DhαA Tpα↓ Dpα↓ Dpα@`Txα`Dxα@ Uα Eα E∧T uλβT u⊂αT@U⊂αT`4(""A8∂πA⊂⊂)↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	0_α↓@_%↓@  ↓↓I 8A⊂8%DIPp'BJ@(AJ  )↓
0⊂"Q↓1 GC`H↓∀@E⊂α∀ e∧∪a$hπ∩b$Pβ@ @λβR@`⊂α@dX↓A@ ↓T@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E_↓⊃(A@Fα⊃@∧@J  (A*⊂ (↓)p(&AI1(%¬i!8%E)P0'A*((A
⊂()↓
0⊂"Qβ⊃8∧#`↓∃ E(αU@E0αU`U@β∩bTPRBtX
Ve8αU@U0α∃ U(α∃@$("¬bq@∂πAP⊂+↓
`(+A
p(,↓+⊂(%E)!8%¬i1(,A+()@0((A  (↓ ⊂((↓  'A 0⊂'↓)P(%E)!8%¬i1(&A)`('A* (↓*⊂ )HT λ∧ba8
Aa4xπ∪AthπSdXαR`DXα∩@TPα∩@DPα∩@DPα∩@DPαR`DXα∩`T`β∪!tpπSaeλ¬Q(Aλ	EBqXBi p%βi0x*AJp(,↓ ,↓+⊂ ,A⊂ ,A⊂ ,A(,↓ +A*P0%Ci x%βI0X"Qa(F#@`∧∀AUπSatp∧S d`αR`TXα∩`DPαRBDP
RBTP
∩@DPαR`DXα∩`T`αS dpλ∪b¬πTAD("εBQ8∂πA`⊂+A
p +↓*` +↓
P(*A
P %Di!(%¬)1_)A
0 )↓*  %Di!(%¬)1_(↓* (↓	p('A	p '↓)` '↓	p⊂"QβA_λ$↓↓⊗U8β∃@e βT`e⊂β∀txβ∪@d`βR`dPβ∩@dXβ∪tpβ∪`eβT@e_β∃u0β∃`e@αV@$8↓Rb∀P	RB4XλQ(Ah	ED∩@I (%↓I00&↓i`0'AJ8)↓J00*↓j`0+AJp0+↓J@8)AJ 0(↓ip0'↓I@8%AI 0%↓)0⊂#@i1λ%∧i!_%D(T ∂¬"q_@"4P
RBTX	Q`4X	RBTP
Rb48↓Rb4P
RBTX	Q(A 
εCap@B@⊂%↓α  %↓α  %↓"(%Aα %A!`(&↓↓` &¬IA0&E	Q '↓↓  '↓↓  '↓!('A↓ 'A `((↓` (↓ @((A@ (A@ (A  ()↓  )αJ0@)B
0@*↓J@0*A
P +HT 
E"qp∂"4P
RBTX
⊗`EXα⊗`EXα⊗`EXα⊗`EXα⊗`D`	RbDX
∪α5Xα⊗`EXα⊗`EXα⊗`EXα⊗`EXα⊗`DX
∩BTP
Rb4("↓"Q8πD ⊃_%¬)!(%E0 -A0 -A0 -A0 -A0 -A0 .HT ≡∧ba8
D%@αU`e(βUu⊂βT txβS@t`βR`tPβ∩@dXβStpβS`uλβT@u βU u8β⊗UP↓⊃(Cp	EBqX@I (%↓I08&↓i`8'Aj⊂8)↓j@8*Ajp0+AJP8*↓j 8(Aip8'↓i@8%Ai 0%↓)0⊂"QA_	D λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ DhαS@DpαS`DxαTEα∀Uλα∀ U⊂α∀@U_α∀`E_αUE αU E(αU@E0α∃@U8α∃`U@α⊗UHα⊗ EP↓⊃(@β∧Q⊂A	 0%↓I 0%↓I0 "Qβ1@EC X↓∃E_β∀A¬λ¬∀P⊂αS`P αS@P0αS P@αR``Pβ∩@``β∩@PpαR`P`β∪PPβ∪ P@αS@P0αS`P αTP⊂αT!%⊂∧∀`e α∃ $("≡bA8∩HAp +α
PH*α*08)↓*  )↓
  )↓
  )↓
  )↓
  (A)`8%B) H%α)0H'↓j⊂()↓
  )↓
  )↓
  )↓
  )↓
 ()Aj@H*B*`@,AλT >Eαr(⊃ DP∧∩A∀X∧S@uλαT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂αT`u ∧U!∃(∧U↓∃_βT@U⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀ TpβRa∀P∧RA∧Xα⊃(G`αβdb⊂@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %@HT_¬x␈␈␈␈x⊂↓8␈␈␈␈X␈␈␈␈pDi!(%¬)1_"Q∧ x
∧β`λα↓ DPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dXα↓ DXα↓ DXα↓ DXα↓ DXα↓ DXα↓ DXα↓ D`↓↓`$("βBq@
E @(β↓)P8↓B	@H↓α	1A	0(B   %A08α↓	  αA P %↓P(βi  αA `_%`p_β@i _β@`p_%`p_β@i _β@`p_%``(αA	 _β↓ P %↓P(αA	  α↓`0 %A HA)0 D	@@↓α)@@↓AiP(β↓(T ?DbbH∂β E0β∃!¬(∧∃Pλ↓∃E α∀`U_α∀`E_α∀`E_α∀`E_α∀`E⊂αT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀ Uλα∀ Eλα∀ Eλα∀ Eλα∀ EαTEα∩` ⊂αRA∀P∧∩`d`α⊃(EpλE qpβ@ip8'α)@h%A`⊂8%↓@P0%↓ p(%@A0⊂"Q∂aλ
A#` α↓@$`∧@TXλ∩B∧Pα@A∧X↓↓@D("C↓`
E!⊂ (AjHα@IpX↓A	`0↓↓   &A P ↓↓	@(β↓⊂(&↓pH%A!@%A↓⊂@%A↓⊂8%↓!⊂8%↓↓ 0%↓↓ (%↓↓ (%↓↓⊂0%↓ `@%A@P↓I18&β⊂H&B @8'↓@p("P`λ∨␈x␈␈` λT ↓FC"H∂∧e@¬∃AU(πUp αT``8α∀@PHα∀@@Pα∀ PHαT @_¬T @⊂¬T @⊂¬∀P⊂¬T@ ¬∀@PαT@Xα∪`PXα∪`@`α∪`@`α∪`@`α∪@PXαS@@`α∪@@XαS@PPα∪ `HαS `@αS! β∪"∀`λS@⊂¬∪@ β∪DXαR`DXα∩`DPαR@DPα∩@DPα∩`$("↓c↓X
E Q⊂'¬	Q(&¬)0(↓↓⊂ %↓ 0 A	  α↓⊂ %↓0(A	0⊂α↓  (A⊂((↓ ⊂ (↓  (↓  'A   'A0 '↓ 0 '↓@(&A P &A` &↓ ` &↓p &@A⊂⊂"Q↓↓(GC`0αS`tx∧∀↓¬ α∃E α∃U(α∃ E(α∃ U0α∃@E0αU e βUu_∧T@Pλα∀ P⊂α∀P_α∪`P αS`@0α∪@P0α∪ P8α∪P@αR`PPα∩@PXαR@@`αR` p↓Q(@HFd↓(β↓!⊂⊂'B` 'α@P &C0(&↓ 0(↓A	0(αA   %ApP%↓!@%↓↓⊂@%↓↓⊂@%@A00,↓K0,↓+(,↓+(,↓ +A*p(+A*p(+↓*`(+↓*`(*AJP(*A*P(*A
`⊂"Q↓!(
πC`P∧TAEλπ∀↓txβ↓`$xα∪`Uβ∀ e⊂βTA¬¬SaTpβ@`Dhβ↓ ThααD`αBDXαB DXαα@DXαα@DPαB TPαα@DPαα@DPαBTXα↓`TXα↓`DXβ`d`εS!4p∧TT("βbQH∂πA⊂8)αJh'CIp(αA)p(β↓
_βA+0 -A
0(↓A
⊂HA
x'D	`0↓B	P(βAI@(∧↓I@ ¬↓	0(¬↓	0 ¬A	0 ¬A	 (¬↓)  ¬A	  ¬↓)  ¬↓	  ∧A) (β↓I0 α↓i0p&β	PH'↓H←@¬A_(r∞`=x↓∨3@↓∨3@↓`␈␈␈␈(α⊂{⊂# ∧→L`∧?0!ε@@3→@*↑d_
↓ε03λ
⎇HAPαf0↔p{⊃# ∧→L`>∨0#ε@@3→@↓∃↑d8
↓ε03⊂X⎇I↓Pαf01p{∩# ∧→L`s∨0%ε@@3→@↓w↑dX
↓ε03 ∃⎇IAPαf0Jp{∪# ∧→L`↓∨←0'ε@@3→@αt≡dx
↓ε030<⎇J↓Pαf0n`{∀# ∧→L`↓h␈0)ε@@3→@βt↑e_
↓ε03@&⎇JAPαf0↓0{∃# ∧→L`α!␈0+ε@@3→@∧b↑e8
↓ε03P↓⎇K↓Pαf0↓,p{⊗# ∧→L`αh∨0-ε@@3→@¬i≡fλ
↓ε03X␈⎇L!Pαf0↓D0{_c ∧→L`β∃␈02ε@@3→@ε;≡f(
↓ε03h)⎇LaPαf0↓Y0{→c ∧→L`β;␈04ε@@3→@π∪↑fH
↓ε03p]⎇M!Pαf0↓o`{~c ∧→L`βj␈06ε@@3→@πr≡fh
↓ε03↓ε⎇MaPαf0αλp{≠c ∧→L`∧≥∨08ε@@3→@λN≡gλ
↓ε03↓λR⎇N!Pαf0α!{≤c ∧→L`∧I←0:ε@@3→@	&≡g(
↓ε03↓⊂s⎇NaPαf0α4{≥c ∧→L`∧r␈0<ε@@3→@
	↑gH
↓ε03↓ >⎇O!Pαf0αO{β ∧→L`¬&∨0_F@@3→@
i≡c⊂
↓ε03↓(u⎇F1Pαf0αd@{
β ∧→L`¬T?0~F@@3→@B↑c0
↓ε03↓82⎇FqPαf0α⎇⊂{∞β ∧→L`ε∧?0≤F@@3→@#↑b 
↓ε03↓@|⎇DaPαf0β_@{∂c ∧→L`εB∨0⊂F@@3→@
⊗↑b_
↓ε03↓PL⎇DQPαf0β0`{	c ∧→L`εv←0∀ε@@3→@
v≡bH
↓ε03↓`⊗⎇E!Pαf0βH⊂{
c ∧→L`π≠?0⊗ε@@3→@∞B≡bp
↓ε03↓h∩⎇EqPαf0βS@{∞C ∧→L`π1←0≥F@@3→@∞k↑ch
↓ε03↓hl⎇H↓Pαf0β←⊂{⊗c ∧→L`πP∨0.F@@3→@∂5↑f
↓ε03↓x∃⎇EQPαf0βtp{ββ ∧→L`πk←0εF@@3→@∂b↑a0
↓ε03↓xk⎇B1Pαf0∧α@{∧C ∧→L`λ∩?0αε@@3→@⊂?↑ax
↓ε03αλ0⎇@⊃Pαf0∧≤ {αc ∧→L`λB←0ε@@3→@⊃→↑aH
↓ε03α⊂H⎇BqPαf0∧+`{∧β ∧→L`λa?0λF@@3→@⊃P↑`0
↓ε03α_<⎇C!Pαf0∧; {πβ ∧→L`λ␈∨0∞F@@3→@∩∂↑ap
↓ε03α A⎇BAPαf0∧J0{¬# ∧→L`	!␈0αF@@3→@∩U≡c`
↓ε03α(=⎇GaPαf0∧[⊂{↔β ∧→L`	=∨0ε@@3→@∪∂↑aX
↓ε03α0(⎇O1Pαf0∧j{∨# ∧→L`	↑?0>ε@@3→@∪Q↑ex
↓ε03α8M⎇D!Pαf0∧{h{βC ∧→L`
↓∂0?F@@3→@∀ }ep
↓ε03α@q=OaPαf0¬⊂λ{C ∧→L`
#O0⊂ε@@3→@∀←>`_
↓ε03αHK⎇@qPαf0¬" {αβ ∧→L`
P←0∧F@@3→@∃8↑`P
↓ε03αX"⎇AqPαf0¬:@|@α`	`{⎇xow{⎇x